localparam [3:0] /* synopsys enum xstate */
                 state0 = 4'h0,
                 state1 = 4'h1;
